نتایج جستجو برای: منطق خطی

تعداد نتایج: 38194  

Journal: :مجلة کلیة الآداب جامعة الفیوم 2020

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان - دانشکده ریاضی و کامپیوتر 1393

در این پایان نامه سعی شده است، ابتدا به معرفی منطق های کلاسیک، شهود گرایی و زیر ساخت بپردازیم و بعد ارتباط منطق خطی را با هر یک از این منطق ها بیان می کنیم. همچنین منطق خطی را با تفسیر کامل هر یک ازحروف ربط و اصول موضوعه آن بیان کرده ایم و در انتها معنا شناسی های این منطق را بررسی می کنیم و به توصیف هر یک از حروف ربط این منطق در هر یک از این معناشناسی ها می پردازیم. سپس ارتباط معناشناسی ها را ب...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی 1392

منطق پیو سته به بررسی ویژگی های فضاهای پیوسته در چهار چوب منطق ریاضی می پردازد. امروزه برای مدل تئوریست ها منطق پیوسته در واقع همان مدل تئوری ساختار های متریک است. این منطق را معمولا مشابه منطق لوکاسویچ رائه می دهند. ولی می توان فضای ارزش ها را تغییر داد و متناسب با آن رابط های دیگری در نظر گرفت. یکی از طبیعی ترین انتخاب ها در نظر گرفتن محور اعداد حقیقی به عنوان فضای ارزش، با عملگر های جمع و ...

زمینه و هدف: ارزیابی توان محیط زیست برای انتخاب ساخت­گاه نیروگاه هسته­ای با رعایت الزامات آژانس بین المللی انرژی اتمی و در چارچوب اصول آمایش سرزمین یک عامل بسیار مهم در دست­یابی به توسعه پایدار است. ارزیابی دقیق توان محیط زیست باعث استقرار مناسب نیروگاه هسته­ای در مناطق ساحلی مطابق با ملاحظات اکولوژیک و اجتماعی- اقتصادی خواهد شد. هدف عمده این پژوهش ارزیابی توان محیط زیست برای ا...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان فارس - دانشکده علوم پایه 1393

امروزه تصمیم¬های بشر، بیشتر از هر زمان دیگری مبتنی بر اطلاعات می¬باشد. اما بیشتر این اطلاعات قطعی نیست و در این وضعیت، تصمیم¬گیری منطقی بر اساس این عدم قطعیت بسیار دشوار می¬باشد. از روش¬های متفاوتی برای نمایش این عدم قطعیت استفاده می¬شود که از جمله می¬توان به نمایش این اطلاعات توسط اعداد فازی اشاره کرد. در سال 1965 مفهوم جدیدی از تصمیم¬گیری در محیطی به نام فازی، توسط بلمن و زاده پیشنهاد شد. ...

Journal: : 2021

سیستم حمل‌ونقل ریلی از تعامل مجموعه‌ای تجهیزات و عملیات تشکیل‌ شده است که توانایی ظرفیت یک در بار مسافر را تعیین می‌کند. بدین‌منظور، محاسبة پیش‌بینی نحوة تغییرات آن مهم شناخت آن‌ کمک شایانی به ارتقای سطح بهره‌برداری شبکة روش‌های گوناگونی برای وجود دارد با توجه نوع شبکه شیوة استفاده این روش‌ها، می‌توان آنها بهره گرفت. ظرفیت، توانمندی‌های سیستم‌های اطلاعات مکانی می‌شود تحت وب، وضعیت ظرفیتی عملیات...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده برق و کامپیوتر 1389

در دهه های اخیر فناوری هوا فضا پیشرفت های شگرفی داشته که باعث به وجود آمدن بستر مناسبی برای طراحی، ساخت و کنترل وسایل ترابری هوایی مانند هواپیما ها و هلیکوپتر شده است. با توجه به نقش اساسی کنترل کننده ها در این زمینه و دشواری پیاده سازی آن ها روی سیستم های اصلی، مدل های آزمایشگاهی نظیر trms (که مدل آزمایشگاهی هلیکوپتر با دو درجه آزادی است) ساخته شده و در اختیار محققین قرار گرفته تا بدین وسیله ب...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه یزد 1390

در این تحقیق ارزیابی پتانسیل منابع آبهای زیرزمینی دشت های لردگان، خانمیرزا و فلارد از توابع استان چهارمحال و بختیاری با استفاده از مدل ترکیب خطی و منطق فازی انجام شده و سپس نتایج به محیط gis منتقل و نقشه های ارزیابی تهیه و با هم مقایسه شدند ونتایج نشان داد که دو مدل استفاده شده همخوانی خوبی در ارزیابی منابع آبهای زیرزمینی دشت های مذکور داشتند و همچنین بر اساس این نتایج می بایست مدیریت بهره بردا...

ژورنال: :مکانیک هوافضا 0
نجفی فرید دانشکد مهندسی مکانیک، دانشگاه صنعتی خواجه نصیرالدین طوسی همایی نژاد محمدرضا

دراین مقاله، مدل سازی ریاضی جدیدی از دینامیک سیستم سرو- نیوماتیک ارایه می گردد. در این روش، نیروهای مزاحم درونی، مانند اصطکاک و نیروهای اعمالی ازخارج به سیستم، اعم از اغتشاشات و یا بارهای متصل به پیستون، می توانند با منطق مقتضی وارد مدل سازی سیستم شده و سهمی را از فشار کل در دو سمت پیستون به خود اختصاص دهند. به عنوان نمونه، توزیع فشار در دو سمت پیستون به گونه ای صورت گرفته که نیروی اصطکاک با تو...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید